41. Advances in information systems science. Volume 3
Author: edited by Julius T. Tou.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information science.,Information technology.
42. Algebraic Foundations of Systems Specification
Author: edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
43. Algebraic Methodology and Software Technology :
Author: edited by Charles Rattray, Savitri Maharaj, Carron Shankland.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
44. Algebraic foundations in computer science :
Author: edited by Werner Kuich, George Rahonis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.
Classification :
QA76
.
9
.
M35
A44
2011
45. Ambient communications and computer systems :
Author: Gregorio Martinez Perez, Shailesh Tiwari, Munesh C. Trivedi, Krishn K. Mishra, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ambient intelligence, Congresses.,Computer networks, Congresses.,Telecommunication systems, Congresses.,Ambient intelligence.,Computer networks.,TECHNOLOGY & ENGINEERING-- Mechanical.,Telecommunication systems.
Classification :
TK5101
.
A1
47. Analysis and Design of Information Systems
Author: by Arthur M. Langer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
QA76
.
76
.
D47
B937
2001
48. Applications of continuous mathematics to computer science /
Author: by Hung T. Nguyen, Vladik Kreinovich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Computer science-- Mathematics.,COMPUTERS.,CONTINUITY (MATHEMATICS),Informatik,MATHEMATICS.,Mathematik
Classification :
QA76
.
9
.
M35
N49
1997
49. Applied reconfigurable computing : architectures, tools, and applications :
Author: edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Adaptive computing systems, Congresses.,Computer architecture, Congresses.,Adaptive computing systems.,Artificial intelligence.,Computer architecture.,Computer hardware.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Image processing.,Software Engineering.
Classification :
QA76
.
9
.
A3
50. Asynchronous sequential machine design and analysis
Author: / Richard F. Tinder
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
Classification :
E-BOOK
51. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
Author: Puppis, Gabriele
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
Classification :
QA
267
.
P87
2010
52. Automated Deduction - CADE-23 :
Author: edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
53. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011
54. Automating Instructional Design:
Author: edited by Robert D. Tennyson, Ann E. Barron.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Educational technology.,Software engineering.
56. BL,BL
Author: / Marshall G.S. Hodgson. ,20090530 0
Library: Library of Islamic Parliament (Tehran)
Subject:
57. CAM :
Author: edited by D. Kochan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer-aided design.
Classification :
TS155
.
6
E358
1985
58. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
59. Communication and Cooperation in Agent Systems :
Author: edited by Afsaneh Haddadi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
D5
E358
1996
60. Compiler Generators :
Author: by Mads Tofte.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
C65
B963
1990
